infix *
String.infix *
repeat string given number of times
Precondition
pre n ≥ 0
Fields
Comment of String.utf8
any concrete string must implement utf8Constructors
repeat string given number of times
Functions
execute this string by splitting at all whitespaces
(env_vars option (container.Map String String)) => outcome tokiwa.process_result[Inherited from String]¶
(env_vars option (container.Map String String))
=>
outcome tokiwa.process_result[Inherited from String]
¶execute this string by splitting at all whitespaces
(env_vars option (container.Map String String), feed_stdin option io.path, timeout option time.duration) => outcome tokiwa.process_result[Inherited from String]¶
(env_vars option (container.Map String String), feed_stdin option io.path, timeout option time.duration)
=>
outcome tokiwa.process_result[Inherited from String]
¶execute this string by splitting at all whitespaces
0.099dev (GIT hash a68bce9af280552faedee34cd5433dc10b6454de)